برای حل این مسئله، باید به قضیه مماسها دقت کنیم. فرض کنید دو خط \(AB\) و \(BD\) مماس بر دایره کوچک در نقاط \(A\) و \(B\) هستند.
طبق قضیه مماسها، اگر دو خط از یک نقطه خارجی به یک دایره رسم شوند و مماس باشند، طول آنها برابر خواهد بود.
در اینجا، چون \(AB\) و \(CD\) هر دو مماسهای خارجی دایره هستند، میتوانیم نتیجه بگیریم که:
\[ AB = CD \]
این قضیه بر مبنای ویژگیهای هندسی دایره و مماسها است.